<HTML><HEAD><TITLE>sbds_indomain(?Var)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic_gap_sbds)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>sbds_indomain(?Var)</H1>
Instantiate an integer SBDS variable to an element of its domain
<DL>
<DT><EM>Var</EM></DT>
<DD>The (integer) SBDS variable to instantiate, or an integer
</DD>
</DL>
<H2>Description</H2>
   Like indomain/1, but uses sbds_try/2 to do the instantiation so that the
   SBDS algorithms are invoked appropriately.

<H2>See Also</H2>
<A HREF="../../lib/ic_symbolic/indomain-1.html">ic_symbolic : indomain / 1</A>, <A HREF="../../lib/sd/indomain-1.html">sd : indomain / 1</A>, <A HREF="../../lib/fd/indomain-1.html">fd : indomain / 1</A>, <A HREF="../../lib/ic/indomain-1.html">ic : indomain / 1</A>, <A HREF="../../lib/ic_gap_sbds/sbds_try-2.html">sbds_try / 2</A>, <A HREF="../../lib/ic_gap_sbds/sbds_labeling-1.html">sbds_labeling / 1</A>
</BODY></HTML>
